Balance between refactoring and inheritance in your code
github.com·16h·
Discuss: Hacker News
✅Format Verification
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·2h·
Discuss: DEV
🧪Binary Fuzzing
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·1h
✅Format Verification
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·9h
🏛️Agda
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·6h
⚡Proof Automation
How to Debug Chez Scheme Programs (2002)
scheme.com·6h·
Discuss: Hacker News
🔓Decompilation
Status Week 37
blogs.gnome.org·9h
📺VT100
ISO C++ committee has a new chief sheep herder
shape-of-code.com·1d
🎯Gradual Typing
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·13h·
Discuss: www.blogger.com
🔗Lisp
Greyscale-box test-driven development
blog.ploeh.dk·9h
🧪Property-Based Testing
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·15h·
Discuss: Hacker News
🔗Lisp
Cap'n Proto - structured data serialziation format
capnproto.org·10h
📋Protocol Buffers
What is Algebraic about Algebraic Effects?
interjectedfuture.com·12h
✨Algebraic Effects
OpenAI releases GPT-5 Codex designed for bug fixes and code generation
the-decoder.com·8h
🔓Open Source Software
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Google Summer of Code 2025 Reports: Enhancing Support for NAT64 Protocol Translation in NetBSD
blog.netbsd.org·11h
📝ABNF Parsing
Semantic Dictionary Encoding
falvotech.com·13h·
Discuss: Hacker News
🌀Brotli Dictionary
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·14h·
Discuss: DEV
⚡Proof Automation
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·12h·
Discuss: Hacker News
📏Code Metrics
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·17h·
Discuss: Hacker News
🌳Archive Merkle Trees